Topological Completeness of First-Order Modal Logics
نویسندگان
چکیده
As McKinsey and Tarski [20] showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the “necessity” operation is modeled by taking the interior of an arbitrary subset of a topological space. This topological interpretation was recently extended in a natural way to arbitrary theories of full first-order logic by Awodey and Kishida [3], using topological sheaves to interpret domains of quantification. This paper proves the system of full first-order S4 modal logic to be deductively complete with respect to such extended topological semantics. The techniques employed are related to recent work in topos theory, but are new to systems of modal logic. They are general enough to also apply to other modal systems.
منابع مشابه
Completeness of second-order propositional S4 and H in topological semantics
We add propositional quantifiers to the propositional modal logic S4 and to the propositional intuitionsitic logic H, introducing axiom schemes that are the natural analogs to axiom schemes typically used for first-order quantifiers in classical logic. We show that the resulting logics are sound and complete for a topological semantics extending, in a natural way, the topological semantics for ...
متن کاملTopological Modal Logics with Difference Modality
We consider propositional modal logic with two modal operators and [ 6 =]. In topological semantics is interpreted as an interior operator and [ 6=] as difference. We show that some important topological properties are expressible in this language. In addition, we present a few logics and proofs of f.m.p. and of completeness theorems.
متن کاملFibring Modal First-Order Logics: Completeness Preservation
Fibring is defined as a mechanism for combining logics with a firstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of such logics, using a variation of the Henkin method that takes advantage of the presence of equality and inequality in the logic. As a corollary, completeness is shown to be preserved when fibring logics in that class...
متن کاملThe Semantics of Modal Predicate Logic I. Counterpart-Frames
We introduce a new semantics for modal predicate logic, with respect to which a rich class of first-order modal logics is complete, namely all normal first-order modal logics that are extensions of free quantified K. This logic is defined by combining positive free logic with equality PFL . = and the propositional modal logic K. We then uniformly construct—for each modal predicate logic L—a can...
متن کاملRecent Advances in Proof Systems for Modal Logic
In recent years, a number of challenges has been faced in the proof theory of modal and related logics, especially in relation to their applications in the widening field of philosophical logic. However, as discussed in [6], uniform methods for generating analytic calculi for these logics have been developed in full generality only for normal modal logics with geometric frame conditions. On the...
متن کامل